home *** CD-ROM | disk | FTP | other *** search
- package javax.swing;
-
- import java.io.IOException;
- import java.io.InputStream;
- import java.net.URL;
- import javax.swing.text.Document;
-
- class JEditorPane$PageLoader extends Thread {
- // $FF: synthetic field
- private final JEditorPane this$0;
- // $FF: renamed from: in java.io.InputStream
- InputStream field_0;
- URL old;
- URL page;
-
- JEditorPane$PageLoader(JEditorPane var1, InputStream var2, int var3, URL var4, URL var5) {
- this.this$0 = var1;
- ((Thread)this).setPriority(var3);
- this.field_0 = var2;
- this.old = var4;
- this.page = var5;
- }
-
- // $FF: synthetic method
- static JEditorPane access$0(JEditorPane$PageLoader var0) {
- return var0.this$0;
- }
-
- public void run() {
- Document var1 = this.this$0.getDocument();
-
- try {
- this.this$0.read(this.field_0, var1);
- URL var4 = (URL)var1.getProperty("stream");
- String var5 = var4.getRef();
- if (var5 != null) {
- JEditorPane.2 var6 = new JEditorPane.2(this);
- SwingUtilities.invokeLater(var6);
- }
- } catch (IOException var9) {
- this.this$0.getToolkit().beep();
- } finally {
- this.this$0.firePropertyChange("page", this.old, this.page);
- }
-
- }
- }
-